Перегляд за автором "Кривий, С.Л."

Сортувати за: Порядок: Результатів:

  • Алгебро-логічний підхід до аналізу та обробки текстової інформації 
    Палагін, О.В.; Кривий, С.Л.; Петренко, М.Г.; Бібіков, Д.C. (2010)
    Пропонується формальна модель системи аналізу та обробки текстової інформації на основі алгебри множин і відношень та простої логічної мови. Описані алгебро-логічний підхід до аналізу природномовного тексту та алгебраїчна ...
  • Задача про математичний сейф та її розв'язання (частина 1) 
    Кривий, С.Л.; Гогерчак, Г.І. (Кібернетика та комп’ютерні технології, 2020)
    Робота присвячена розв’язанню задачі про математичний сейф. Розглядається математична постановка задачі про математичний сейф, де показано що її розв’язання зводиться до розв’язання систем лінійних рівнянь у скінченних ...
  • Задача про математичний сейф та її розв'язання (частина 2) 
    Кривий, С.Л.; Гогерчак, Г.І. (Кібернетика та комп’ютерні технології, 2021)
    Мета статті. Представлення методів розв’язання задачі про математичний сейф (в матричному та графовому виглядах) для різноманітних її варіацій, які пов’язані як з областю, над якою розглядається задача, так і зі структурою ...
  • Криптосистема на основі абелевих груп і кілець 
    Кривий, С.Л. (Проблеми програмування, 2020)
    В роботі пропонується проста криптосистема на основі властивостей абелевих груп та асоціативно-комутативних кілець з одиницею. Приводяться алгоритми побудови таблиць додавання та множення для цих алгебр. Розглянуті приклади ...
  • Онтологоподібні системи аналізу природномовних текстів 
    Кривий, С.Л.; Дарчук, Н.П.; Провотар, О.І. (Проблеми програмування, 2018)
    Розглянуто підхід до побудови онтологоподібних систем для аналізу текстів на природній мові (на разі тільки українською мовою). Такі системи будуються на основі формальних визначень онтології O = (X, R, F, A(D, Rc)) та ...
  • Представлення, аналіз та видобування знань з неструктурованих природномовних текстів 
    Гогерчак, Г.І.; Дарчук, Н.П.; Кривий, С.Л. (Кібернетика та системний аналіз, 2021)
    Наведено огляд засобів дескриптивних логік для представлення знань з природномовних текстів, класифікацію дескриптивних логік за конструкторами концептів та ролей, а також основні концепції темпоральних дескриптивних логік. ...
  • Проектування та модельне обґрунтування застосувань на основі відеоадаптерів 
    Погорілий, С.Д.; Кривий, С.Л.; Слинько, М.С. (Управляющие системы и машины, 2018)
    Досліджено модельне обгрунтування властивостей архітектур відеоадаптерів виробництва NVIDIA. Розглянуто послідовність застосування апарату транзиційних систем для побудови високорівневої специфікації та апарату мереж Петрі ...
  • Реалізація алгоритму розв’язання системи лінійних діофантових рівнянь в кільці лишків 
    Кривий, С.Л.; Антонюк, В.Т. (Управляющие системы и машины, 2017)
    Проведен анализ алгоритмов построения базиса множества решений системы линейных однородных и неоднородных диофантовых уравнений над кольцами и полями вычетов по модулю составного и простого числа. Рассмотрены алгоритмы, в ...
  • Формалізований метод проектування застосувань в технології GPGPU 
    Кривий, С.Л.; Погорілий, С.Д.; Слинько, М.С. (Проблеми програмування, 2018)
    Запропоновано метод дослідження характеристик систем, що використовують високопродуктивні обчислення, який ґрунтується на апараті транзиційних систем (дискретної моделі обчислень). Запропоновано два варіанти обмежень ...
  • Формально-логічний підхід до побудови систем аналізу знань в різних предметних областях 
    Палагін, О.В.; Кривий, С.Л.; Бібіков, Д.C.; Величко, В.Ю.; Марков, К.; Іванова, К.; Мітов, І. (2010)
    Запропоновано формальну постановку задачі добування знань з природномовних об'єктів. Для маніпуляції, аналізу та трансформації текстів введено поняття алгебраїчної системи спискових структур. Для представлення та зберігання ...